Building K-Theories
نویسندگان
چکیده
منابع مشابه
Building Structured Theories
We provide a set of syntactic tools for structuring large collections of logical theories. Their use is demonstrated by a formalisation of algebras that are used in describing the semantics of concepts in programming languages, but also of more general systems.
متن کاملBuilding Theories into Instantiation
Instantiation orderings over formulas (the relation of one formula bemg an instance of another) have long been central to the study of automated deduction and logic programming, and are of rapidly-growing importance in the study of database systems and machine learning A variety of instantiation ordenngs are now IP use, many of which incorporate some k ind of background information in the form ...
متن کاملBuilding Theories in Nuprl
Concl t THEN Lemma `fs unroll`THENM ReduceConcl ;;* THM fs add card>> 8A:D. 8s:FS(A). 8x:|A|. :(x fAg s) => |s +fAg x| = |s|+1 in Int* THM fs del exists>> 8A:D. 8s1:FS(A). 8x:|A|. 9s2:FS(A).(8y:|A|. y fAg s2 <=> y fAg s1 & :(y=x in |A|))& (x fAg s1 => |s2| = |s1|-1)* THM fs del>> A:D -> FS(A) -> |A| -> FS(A)Extraction:A s x. fs del exists(A,s,x).1...
متن کاملBuilding Models of Prediction Theories
This paper is concerned with the implementation of Prediction Theories. Rather than developing an then attempting to implement a proof theory, it aims instead to implement their model theory by building computational counterparts of their relevant models. Prediction Theories are outlined and a working example is given. The basic model-building algorithm is then presented and its completeness an...
متن کاملBuilding Theories in Software Engineering
In mature sciences, building theories is the principal method of acquiring and accumulating knowledge that may be used in a wide range of settings. In software engineering, there is relatively little focus on theories. In particular, there is little use and development of empirically-based theories. We propose, and illustrate with examples, an initial framework for describing software engineeri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1975
ISSN: 0001-8708
DOI: 10.1016/0001-8708(75)90138-3